# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /cvs/zport/sci-mathematics/pvs/pvs-3.2.ebuild,v 1.1.1.1 2006/11/22 16:05:34 zechs Exp $

inherit eutils

DESCRIPTION="PVS - a theorem prover for formal specification and verification"
HOMEPAGE="http://pvs.csl.sri.com/"
SRC_HEAD="ftp://ftp.csl.sri.com/pub/pvs/${PN}${PV}"
SRC_URI="x86? ( ${SRC_HEAD}/${P}-linux.tgz ) solaris? ( ${SRC_HEAD}/${P}-solaris.tgz ) ${SRC_HEAD}/${P}-system.tgz ${SRC_HEAD}/${P}-libraries.tgz"

LICENSE="as-is"
SLOT="0"
KEYWORDS="x86 sparc"

IUSE=""
DEPEND=""

src_unpack() {
	unpack ${A}
}

src_install() {
	dodir /opt/pvs
	cp -pPR ${WORKDIR}/* ${D}/opt/pvs

	dodir /opt/bin
	dosym /opt/pvs/pvs /opt/bin/pvs
}

pkg_postinst() {
	cd /opt/pvs
	bin/relocate
}
